logical venn diagram reasoning